\newcommand{\Is}{\Iden}
\newcommand{\Iden}{~$\equiv$~}

\newcommand{\True}{~\textbf{true}~}
\newcommand{\False}{~\textbf{false}~}
\newcommand{\Chaos}{~\textbf{chaos}~}

\newcommand{\Neg}{~$\sim$~}
\newcommand{\Or}{~$\vee$~}
\newcommand{\And}{~$\weDge$~}
\newcommand{\Impl}{~$\Rightarrow$~}
\newcommand{\NEq}{~$\neq$~}

\newcommand{\Case}{~\textbf{case}~}
\newcommand{\Of}{~\textbf{of}~}
\newcommand{\If}{~\textbf{if}~}
\newcommand{\Then}{~\textbf{then}~}
\newcommand{\Else}{~\textbf{else}~}
\newcommand{\End}{~\textbf{end}~}
\newcommand{\Let}{~\textbf{let}~}
\newcommand{\In}{~\textbf{in}~}
\newcommand{\LinIf}[3]{\If #1 \Then #2 \Else #3 \End}

\newcommand{\Nat}{~\textbf{Nat}~}
\newcommand{\Int}{~\textbf{Int}~}
\newcommand{\Real}{~\textbf{Real}~}
\newcommand{\Bool}{~\textbf{Bool}~}
\newcommand{\Unit}{~\textbf{Unit}~}

\newcommand{\All}{~$\forall$~}
\newcommand{\Exists}{~$\exists$~}
\newcommand{\ExistsOne}{~$\exists$!~}

\newcommand{\SuchAs}{~\mathop{\bullet}~}

\newcommand{\DP}{\mathop{\times}}

\newcommand{\Abs}{~\textbf{abs}~}

\newcommand{\Type}{~\textbf{type}~}
\newcommand{\Value}{~\textbf{value}~}
\newcommand{\Axiom}{~\textbf{axiom}~}

\newcommand{\Card}{~\textbf{card}~}
\newcommand{\Isin}{~\in~}
\newcommand{\Union}{~\mathop{\cup}~}


\newcommand{\Len}{~\textbf{len}~}


\newcommand{\Map}{~\mathop{\longrightarrow}\limits_{m}~}
\newcommand{\Dom}{~\textbf{dom}~}
\newcommand{\Rng}{~\textbf{rng}~}
\newcommand{\Upd}{~\mathop{\dag}~}
\newcommand{\Superp}{~\mathop{\circ}~}


\newcommand{\Nd}{$\lceil\!\rceil$\,\,}
\newcommand{\Ilock}{$\nparallel$\,\,}
\newcommand{\Exc}{$[\!]$\,\,}
\newcommand{\Stop}{~\textbf{stop}~}
\newcommand{\Skip}{~\textbf{skip}~}
\newcommand{\Swap}{~\textbf{swap}~}
